associative law of addition

加法结合律